Fer" ? Amathematical Semantics for Handling Full Jumps
نویسنده
چکیده
This paper describes a method of giving the mathematical semantics of programming languages which include the most general forms of jumps.
منابع مشابه
Compilation as Partial Evaluation of Functor Category Semantics
Our goal is to produce the same compiler as Reynolds 12] via partial evaluation. We develop a continuation semantics for a higher-order, imperative, call-by-name Algol-like language which is based on the functor category semantics of Reynolds and Oles 11], and compile programs via the rst Futumura projection. Our \compilation semantics" is non-standard in some ways (e.g., the meanings of expres...
متن کاملAxiomatic Semantics for Java in Isabelle/HOL
We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java. In particular, we present solutions to challenging features like exception handling, static initialization of classes and dynamic binding of methods. This axiomatic semantics has been proved sound and complete w.r.t. pour operational semantics of Java, described in earlier papers. To our knowled...
متن کاملFull abstraction for a Linear PCF
We study S PCF , namely a Turing-complete programming language inspired by a semantic notion of linearity. S PCF is based on a linear core of PCF and some operators providing basic primitives related to exception handling and nondeterministic evaluation. We show that S PCF is fully abstract for a linear model in the category of coherence spaces and linear functions, giving a cogent evidence of ...
متن کاملA Dynamic Operational Semantics for JVML
In this papera, we present a dynamic semantics for the Java Virtual Machine Language (JVML). The semantics is specified in an operational style according to the syntactic structure of JVML programs. In order to ascribe meanings to threading, the semantics is made small-step and is structured in two layers: The first layer consists of judgements that capture the semantics of sequential JVML prog...
متن کاملToward an error handling mechanism for timing errors with Java Pathfinder and Ptolemy II
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009